SPL Lightweight Multisource Mixed Computation Practices
github.com·20h·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Lisp in 99 Lines of C With TinyLisp
hackaday.com·1d
🐫Embedded OCaml
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·3d
🔬Static Analysis
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·15h·
Discuss: Lobsters, Hacker News
🐫OCaml
how to decide on the sequence of computable numbers
academia.edu·2h·
Discuss: r/programming
🔄Finite State Machines
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·1h·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
🔠Type-Level Programming
Remembering the work of Kevin S. Braunsdorf and the pundits tool-chain
leahneukirchen.org·12h·
Discuss: Hacker News
🔬Unikernels
Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·16h·
Discuss: Hacker News
🐫Embedded OCaml
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
vitaliihonchar.com·1d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
Compilation Isn't Just for Programming Languages
architecture-weekly.com·2d·
Discuss: Hacker News, r/node, r/programming
🔄Reproducible Builds
Subinterpreters and Asyncio
blog.changs.co.uk·18h·
Discuss: Hacker News
🐫Embedded OCaml
Ow Dynamic K8s Sandboxes Can Improve Dora Metrics
signadot.com·2h·
Discuss: Hacker News, r/devops
🧱Immutable Infrastructure
Structured (Synchronous) Concurrency
fsantanna.github.io·2d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Working with Asynchronous Coding Agents
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
👁️System Observability
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·2d·
Discuss: r/programming
🐫OCaml
A Magnetized Needle and a Steady Hand (2016)
nullprogram.com·18h·
Discuss: Hacker News
🐫Embedded OCaml
Simpler Category Theory
ryanbrewer.dev·15h·
Discuss: Hacker News
➡️Category Theory
Constructor Best Practices in Rust
blog.cuongle.dev·1d·
Discuss: Hacker News
🐫OCaml
Announcing Proxy 4: The Next Leap in C++ Polymorphism
devblogs.microsoft.com·1d·
Discuss: Lobsters, Hacker News
🛡️seL4